#include "cpu/exec/helper.h"

make_helper(leave){
    cpu.esp=cpu.ebp;
    cpu.ebp=swaddr_read(cpu.esp,4);
    cpu.esp+=4;
    print_asm("leave");
    return 1;
}